Decidability of involution hypercodes

Decidability and Tameness in the Theory of Finite Semigroups

Involution Matrices of Real Quaternions

An involution or anti-involution is a self-inverse linear mapping. In this paper, we will present two real quaternion matrices, one corresponding to a real quaternion involution and one corresponding to a real quaternion anti-involution. Moreover, properties and geometrical meanings of these matrices will be given as reflections in R^3.

Ultra and Involution Ideals in $BCK$-algebras

In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...

On centralizers of prime rings with involution

‎Let $R$ be a ring with involution $*$‎. ‎An additive mapping $T:Rto R$ is called a left(respectively right) centralizer if $T(xy)=T(x)y$ (respectively $T(xy)=xT(y)$) for all $x,yin R$‎. ‎The purpose of this paper is to examine the commutativity of prime rings with involution satisfying certain identities involving left centralizers.

Transducer descriptions of DNA code properties and undecidability of antimorphic problems

This work concerns formal descriptions of DNA code properties and related (un)decidability questions. This line of research allows us to give a property as input to an algorithm, in addition to any regular language, which can then answer questions about the language and the property. Here we define DNA code properties via transducers and show that this method is strictly more expressive than th...